 Let's talk about politics. Big announcement here yesterday. Donald Trump, now officially the nominee, picked his running mate. There was a little bit of, you know, sleight of hand. Who's it going to be? It's your colleague, brand new colleague, actually, from Ohio, J.D. Vance, a guy who's my age. We're sort of piecing together what we know about him. He's been on this show, I think, once or twice during the campaign.