Okay.
My last question, then, would be this: Did any of this other funding, of the billions of dollars—again, we have the amount for the 2022-23 fiscal year, but we're awaiting the total amount since 2015—go to any kind of government consultant?
On October 1st, 2024. See this statement in context.