You're correct, I misread the original figures. Even at the proposed new spending level of $78 billion, it's still only twice as much as we spend on beer. And practically invisible compared to the $2–4 trillion cost to taxpayers of the 2017 corporate tax rate cuts.