 So not a huge surprise, but J.D. Vance is the guy. J.D. Vance was selected. As the roll call is getting going and Trump is already, he's already the nominee. I mean, it's, you know, we already knew that. We already knew that there wasn't any chance, but he's already got the delegate commitments. He's already 100 over. So right there at the start of the convention, they start doing the counts to make sure that he is, in fact, going to be the Republican nominee. J.D. Vance was announced as his vice presidential running mate.