A few short thoughts about the budget