 to react to it and move on from it before now. But that doesn't mean they're not out. There's still time to do it. They got about two weeks to make a tough decision, get Biden where he needs to be. Obviously, there's a lot of pressure there. It's happening. And I think you're going to see a very re-energized, potentially a re-energized Democrat party. I don't want to see it because I'm a Republican. I want to win. We all want to be running against Joe Biden. But I try to be a realist about planning and strategizing for what's going to be a pretty wild last three months of this campaign.