 That's another interesting dynamic with the Rubio part of it. Because if you think about it, if Marco Rubio has to leave the state of Florida and, let's say, go to Nevada or go somewhere else, then it's an open Senate seat. And who does Donald Trump hand the ability to give a Senate seat to? He hands it to Ron DeSantis. Does he want to give Ron DeSantis the power to pick the next senator from Florida as well?