 If that's what's going on, it's been going on for some time. And so replacing him might not be too much of a problem for Democrats if they were going to lose anyways. Not only that, in addition to that, beyond the generic kinds of polls that we've been discussing, whether they be national or battleground states, both of which, of course, Trump is dominating now. But Trump's been dominating the battleground state polls for quite a while. But beyond that,