 By the time the winter comes, we have already figured out what our budget priorities are for the budget season, right? And so, for instance, this past year, we've been planning for fiscal year 2023, right? And so by the time the winter came, we already knew what our budget priorities are. We had already identified, look, this program doesn't work. Let's take money out of here and put it here. This program could use some more funding, etc.,