The pentagon can't account for billions of dollars, but the IRS knows exactly how many sats you have and what you had for breakfast.