 Ohio is in a region of states that he really does need to win with problems he's incredibly well familiarized with. He knows the issues affecting that region really well. So I think that is something to consider politically. And then the other one was mentioned was Marco Rubio. As we talked about, there is an issue with two candidates coming from Florida, but it's solvable. They'll figure a way out of that if they want to pick Rubio.