 I mean, I think that if you needed any more evidence that the Republican Party has been completely transformed, has become the Trump Republican Party, you could see it there over these past four days. All the people that you mentioned are sort of members of the traditional wing of the Republican Party. It's who we grew up with over the past 20 years. And they don't think there's any place for them anymore in the Republican Party of today, in the Trump Republican Party.