Yes, that is a historical trend. I don't think we've ever seen colleges or polytechnics exceed the 3%. It's somewhere below 3% that we've seen. The biggest one is the college and community innovation program, which is a direct stream for polytechnics and colleges to access.
The one thing that we were looking for in the budget was an extension of a top-up received in 2023 to that program. That was an additional $36 million to $40 million for the program. We didn't see that in this budget, and we're seeking clarity on that right now. It expires in April 2026, which will reduce the capacity of the work we can do in polytechnics and colleges.