 And I would say that satisfaction, I think, also explains part of why J.D. Vance is the pick. Donald Trump is in an extremely comfortable position right now, and he doesn't think that he's going to win. He thinks he's going to win very comfortably. And that's why, perhaps, he didn't take a Nikki Haley or a Glenn Youngkin.