 He has 4,000 delegates that are committed to him. He needs, I think, like 1,900 or something to win the nomination. So he's there. He's their nominee. And his name's already on the ballot in most states except Ohio and I think in a few others. So he is the Democrat nominee. So the easiest way for him...