 in Milwaukee, and there were rumblings that maybe President Trump would make an appearance today. Have not seen him at all, although J.D. Vance is still working his way through a pretty dense crowd on the floor of the Republican National Committee. And I think it would be very Trumpian for once J.D. Vance to take the stage for President Trump to come out.