 No, 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 he can think of? Maybe a sitting congressman?