 That number had doubled and hundreds of billions of dollars for mutual defense were going into the NATO coffers. I know some say it's multifactorial, that it was also due to the Obama administration and some things that it did. But NATO wasn't weaker on some hard metrics by the end of the Trump administration. And the U.S. hadn't pulled out.