 J.D. or whoever comes up after that as a leader in the party, they're going to have their own ideas, and they're going to push that. So no, every individual, and when it comes to politics, even on the national stage, has to be themselves. They have to drive their brand and what they're about. So no, I don't think it's a problem, per se. It's just kind of the reality of the Republican Party. But the good news for Republicans is, even with Donald Trump, who, again, I ran pretty hard. I tried to get Nikki to be the nominee.