I know you've written about this previously, because in budget 2022 the government was also seeing some very significant unexpected revenues then. We're continuing to see incredibly significant unexpected revenues now. Over five years, we're looking at $150-plus billion.
In your recommendation, what do you think the government should spend these unexpected revenues on?