 They don't know how much they have to push in order to get him out. And then the question is, if they do push him out, how do they go about changing him? These are massive, massive questions. This late into the game, we are now a month away from the Democratic Convention. And they've got the Ohio problem as well, because in order to get his name on the ballot, whoever's going to be, if it's not him, they've got to do it before the convention.