 From Lars Larson. 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.