 Donald Trump actually downsized it slightly, right? And so there is this feeling that it's the Democrats who are slightly more dangerous than the Republicans at this point, or at least Donald Trump. And it's very hard to argue against that, given the material realities on the ground.