 The big news is we have a vice presidential nominee, J.D. Vance, senator from Ohio. Now, I don't know J.D. Vance, but I do know people. I have friends who are friends with J.D. Vance, people who are connected in politics, much more connected than I. They socialize with these people, whereas I don't want to because I want to be able to call them jerks when they're jerks, quite frankly. But they swear up and down that he's a good guy. He's a good dude. I have no reason to doubt that. But...