 Don Jr. had been pushing for him. So I guess all of the signs were there earlier today. You know, the way it was presented, there were news reports saying that Burgum had been informed that he was ruled out, that Rubio had been informed that he was ruled out. And it is J.D. Vance. J.D. Vance was not always been a Trump fan. Absolutely not.