The Pentagon budget should be described as $7.78 trillion if we're doing that thing where we use a ten-year window but don't say so.