 I don't know. His jet was seen in Ohio a few days ago. Well, that could be Vivek, who he clearly is fond of. It could be J.D. Vance. There is talk about Ben Carson. I think Ben Carson is a terrible choice. I think a lot of Republicans think Ben Carson would be good because he's black. And they think, oh, yeah, we got a black guy. They can't call us a racist anymore. How stupid do you have to be?