Comment by paulproteus

Gotcha. The reason I was mystified is that the budget is written by Congress, so I would guess a phone call to a leader in Congress with a desired budget number would do the job. Given that this doesn't seem to be the plan, I couldn't tell if maybe they had some other goal. I hope that explains how someone could be mystified.