 I bet that J.D. is a spectacular choice, and I think this is a choice that maybe they made a little while ago. Because I was very inspired by that moment when I was on the floor of the convention center, and one of my team members leaned over and said, they've announced J.D. Vance. And then all of a sudden, as we cast our delegate ballots yesterday, we could say that we cast our delegates yesterday.