 I know it's not as important as the race in November, but we touched on it. If President Trump, God willing, wins and J.D. Vance becomes vice president, he was only elected in 2022, so how would it work? Would the governor of Ohio appoint someone and he'll serve out the rest of that term? Any names you can think of? Maybe a sitting congressman? Yeah, any desire? You want to walk to the other side of Capitol Hill or something?