 I just want to kind of give our listeners a sense of what's happening here in the arena. It appears that sort of in the family box, if you will, for former President Trump is his newly minted running mate. Ohio Senator J.D. Vance appears to be making his way down there. And this area has been cleared. The area has been cleared. That's why you hear sort of this applause. The delegates on the floor.