 We sometimes get on these nights, too, family members speak. There wasn't a lot of that. It was interesting to see how you had people who have worked for the former president kind of talk about their experiences. We'll continue that conversation. We're also going to look forward to J.D. Vance, the Ohio senator, now running mate.