 Michael, as you report, Trump's name isn't often being raised explicitly by these leaders, but kind of the shadow he has cast over the summit, would you say? That's right, Frank. So there's a lot of work here being done, thinking about what they can do. President Trump, former President Trump, of course, had a lot of anger toward the alliance, anger toward European countries about not spending enough on defense.