 And it's basically worked. I mean, I think this is the point that is important to make right at the top of this conversation is that up until Donald Trump, as you noted, yes, we had presidents complain about the levels of defense spending from our allies for a long time. And that's a perfectly valid concern.