 But what does matter is what gives you the best chance. I think what really matters, and we don't focus on it, Mike, I think what really matters is who can be president if something happens to Trump. I think that's what really matters, and we never talk about it. And they've been talking about it has to be a governor. And I'm with that. I like that strategy.