 Welcome back to the program. It's a pleasure to be with you on a Monday, the day one of the Republican National Convention. Donald Trump has the delegate count. 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?