 He's got the votes to be the nominee for the Republicans. Who knows who's going to be the Democrat nominee? Although at this point, Joe Biden seems to be the odds on favorite. And Senator J.D. Vance of Ohio has been chosen as Donald Trump's running mate. And one of my favorite people to call on for political questions like this is Kim Strassel of The Wall Street Journal and the Potomac Watch column. How are you doing, Kim?