Mark Glennon goes over some “Government Math”