 The general tone of tweets that have come out from Republican leaders over the past 18, 12, 18 hours, that's what you see. At some point, all this will calm down. There'll be a nominee, and then it's going to be contrast. Four years against four years, and that's a tough thing to watch the last four years. That's true.