 Then I think he's got to look at a different candidate. And I think maybe prior to the debate, I would have guessed that he would pick somebody like J.D. Vance, who's very much of his own faction. And maybe now he's looking for somebody who can reach other demographics. And I'm not necessarily sure that the three people that are being mentioned, Doug Burgum, J.D. Vance, and Marco Rubio, are necessarily the finalists. They've been pretty close-lipped about that. That's mostly, I think.