 U.S. Senator from Ohio, J.D. Vance, announced as his running mate. Vance was just elected to the Senate in 2022. Governor Mike Devine among those applauding the pick yesterday. He's a new generation. He's the future generation. I think that's very appropriate for the vice president. We've seen that happen many, many times throughout the history of this country.