US federal spending 2020: $7 trillion

The entire budget of #1 is about 3% of that, and #2 and #3 around 1%.

What a terrible deal.