 They're going to do all that way before. It's got to be done way before August 7th because of this Ohio story, which I don't fully understand. I mean, how's this going to happen? Because look what happened four years ago. Who was the frontrunner for the Democrats? Remember, it was Bernie. And what happened was the Democratic leaders went to the candidates, gathered them in the room, and said no.