 Well, it's a different party, right? We used to have a Republican Party that was internationalist. And the great tragedy at the moment is that there are many people in America, very committed, serious Republicans who no longer have a party. They don't want to be part of the Democratic Party. It's either too left or too center or too divided, but it's certainly not their party. And they're not about to join on to Trump's Republican Party. So we've got a problem.