 So it sounds like the allies were trying to Trump-proof NATO. Did they succeed? It's too early to know, of course, but I'm surprised by one thing. They're not going to set a new higher target for defense spending. They all know that 2% of GDP is too low now, and more ambition might be seen positively by Trump, but they're not going to do it.