 The discussion we'll have after our news break here with Joe Miller, we'll see what he has to think about all of this. And also our guest at 4 o'clock is J. Michael Waller, who's an author. And I spoke to him earlier, and he said, yes, he'll have plenty to say. All right, in the meantime, let's take a look here at J.D. Vance, named as running mate for Donald Trump. He's a United States senator from Ohio.