And so the question, Paul, is, is this legal or not? And we've certainly had some conflicting opinions on that.

Right.

So you have sort of like two main opposing sides here.

And one is the Government Accountability Office.

which argues that a pocket rescission is illegal because Congress has the power of the purse and the president is not allowed to cancel spending that Congress has approved and that a president has signed into law unless it follows the proper procedure.

And so GAO argues that Congress has to act on a presidential rescission request.

The president can't just cancel the funding in a scenario where Congress is not there to act on it, and then the funding is repealed.

Meaning to hold it up or freeze it, right?