 And if there is going to be any sort of situation where there would be a different candidate, it would have to be the president choosing to step down. By the Democratic Party rules, he has all the delegates, and if he stays in, he's the nominee. And then there's also discussion, though, if he were to step down, who else?