I understand, but up until now there has been no program-identified cut by the government. At one point there were savings to be had, and we found the savings by lapsing spending. We actually never cut a program, but we're to believe now that we will find run-rate spending eventually.
On March 30th, 2023. See this statement in context.