 And that appealed to him. I don't think he thought, how am I going to get Ohio votes? He has, I assume, Ohio votes already. I think he felt a bit burned with Mike Pence, the way things turned out at the end, although Mike Pence was an extremely loyal vice president. I mean, you can't get more loyal.