 So I don't think that's going to be problematic for him, the things that he's said about Donald Trump in the past. John Decker is with us from Milwaukee in the Republican National Convention. So what is this? Each day has a different theme. What's the theme today? And be on the lookout, John, for West Virginia governor and U.S. Senate candidate Jim Justice and his sidekick.