 Betting odds about the same. Trump in a firm lead. The question is, will the Democrats now just sort of call off the dogs and say, Joe's our guy, forget it? I tend to think that that is probably at this point the most likely. You don't, I mean, you got to think, okay, now...