 And this is something that a lot of people had been expecting, is that J.D. Vance might be the choice. There were a lot of names that were out there, and Trump, in his typical way, I think, not until really, you know, late, I should say early yesterday afternoon, news started breaking that...