 So I wasn't quite sure where they're going to go with it. But again, breaking news that happened during the news break, J.D. Vance was officially nominated through a floor vote as Donald Trump's running mate. We found out earlier today at the beginning of the RNC as the votes were being counted, if Trump was going to be the official nominee. And of course, he was that J.D. Vance was his selection as his running mate. And J.D. Vance is now officially that running mate.