 And even if the president were to drop out and, say, endorse his vice president, those delegates are free to vote how they want. They don't have to just take that directive and endorsement from the president and say, OK, now here's where my loyalty and endorsement goes. So you could have a contested convention. We obviously have not seen that in many, many decades. This could be quite a Democratic convention, which starts in just a month from now.