You’re right, and I was little ambiguous and unclear what I meant by formality.
By formality, I was suggesting that the US government spends a lot of time hand wringing about the budget, delaying for compromises, and then exceeds the budget anyway in certain areas.
When you absolutely need something to work presicely once between the day you buy it and the day you’re late for jury duty.