 I have one quick question real quick before we let you go. Being that you're over there at the RNC, I'm curious, what was the sense of the people there? Did they seem surprised that J.D. Vance was picked as his vice president? Also, if you don't mind just giving us a preview of today's RNC. To me, it didn't seem like anybody was surprised.