My next question is this, then.
Your plan calls for a cap on international students—485,000 in 2024 and 437,000 in 2025. There have been adjustments to those. Obviously, there's a discrepancy between the two.
How many do you project will leave the country at the end of December 2025. Will it be all 766,000? What's the proportion? What are the forecasts by the department?