The peanuts don't add up, in this case. The discretionary federal budget is dominated by the military, and the nondiscretionary budget dominates the entire budget.