 and the ones that people were on people's wish list like Nikki Haley and others. J.D. Vance was the person I was really hoping would get picked. And I just assumed that he wouldn't get picked because they never really picked the person I like for anything. But I was very pleased that he was selected yesterday. I have to tell you, I have a lot of thoughts about this, but in general...