You would be forgiven for assuming that the budget submitted by President Biden includes an increase in defense spending. There were plenty of headlines to that effect, after all, and the top-line number — $773 billion — is both an increase over last year and the most in history.