 As I told you all, I was there in 2016 when Donald Trump became the nominee, but it was also very contentious getting him to be the nominee. Today, or last night, or this week, there's been no question that Donald Trump is the nominee. And J.D. Vance last night?