 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 someone else.