 I'm curious of the delegates you've spoken to today, of their thoughts about what we have as now a ticket, the Donald Trump, J.D. Vance ticket. 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.