 And the ones that 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 pick the person I like for anything. But I was very pleased that he was selected yesterday.