 I'm curious of the delegates you've spoken to today of their thoughts about what we have is now a ticket, the Donald Trump, J.D. Vance ticket. What was there? What is the sort of sense around him? I imagine for a lot of delegates, this is a get to know you moment for J.D. Vance.