 Well, a few things. One, I think it's worth separating out this idea that we've been calling a whole bunch of things the Republican Party. I think we should probably have different terms, right? There's the political party that existed called the Republican Party before 2016, and there's the political party that existed post-2016, the current political party called the Republican Party. They're actually totally different parties. There's different people in them. There's obviously different politicians in them.