Our Democratic friends want to spend more on everything. We'd like to spend more on defense. And so there will be a sort of grand negotiation here in the fall between the two sides over just how big the discretionary budget of the United States government ought to be and how it ought to be spent.