 Here's a final thought of the day. In 2015, we had a massive Republican primary. We had Trump, Cruz, Rubio, Kasich, Carson, Jeb Bush, Rand Paul, Mike Huckabee, Carly Fiorina, Chris Christie, Jim Gilmore, Rick Santorum. And they had debates like every hour on the hour. Debates, debates, debates, debates. And there were complaints for the Republicans themselves.