 Yes, and we already know he is in Milwaukee. He arrived yesterday. So he's here. He's ready to get this convention going. And the delegates are excited, you know, and they're ready to go get this thing started. So here's the question. When he kicks off this convention, if that, in fact, that rumor is true at 1245 today, Milwaukee time, do you think...