 still kind of keeping this going. But there is this rush to kind of rally behind him at this point. And that's mostly what I'm hearing from sources. All right. So one source said to you, it's game over. Does that mean game over? Democrats feel that they're going to lose the White House or game over and that they're not going to replace Biden at this point?