 So I think there are arguments for all these different people. One of our colleagues asked me who I thought it would be, and I said, oh, Burgum. And that colleague mocked me. They thought that was a really stupid choice on my part. I think it's totally reasonable. I have no idea, though. I could see Marco Rubio. I could see J.D. Vance. I could see Burgum. Someone else. But I guess I have seen Burgum for a long time for a wide variety of reasons. I think he bounces out the ticket. I think he...