 They're telling me that RFK Jr. is in contention at this point, and that's what Trump means by somebody the media is not talking about, which I don't buy that. I just want to be clear. I think it's going to be J.D. Vance. I've said that all along. But Burgum out, Rubio out. According to reports, this all could change, too. Trump could call them back and be like, actually, people are saying. So we'll have to see. But I'm feeling pretty good about my J.D. Vance prediction right now.