 We have a very hard time finding any bipartisanship on that. But the facts ought to be pretty obvious by now. So I would make that point because that came up today. And then I'd close with this graphic, which shows the increase in non-defense discretionary spending, which is my Republican friend's traditional spending target.