 We are halfway through the program here on this Monday. We're in Milwaukee. It's the RNC day one. Donald Trump is officially the nominee of the Republican Party. That happened this afternoon. And also, he has announced formally J.D. Vance, Senator, Ohio, freshman. He will be the running mate on the ticket this year. Joining me now to discuss all of this and more is U.S. Senator Joni Ernst, an Iowa Republican. It is always great to have you on, and it's better still to have you here.