 I mean, across the board, it doesn't really matter. 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.