 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 gotta think, okay, now...