 Understood. I also wanted to ask about Senator J.D. Vance, your Senate GOP colleague, being picked by the former president as his running mate. Vance is more from the contingent of the Republican conference that is pushing for major changes after Leader McConnell steps down. He's also praised President Biden's top antitrust enforcer. I'm just wondering what his selection as vice president