 And his name's already on the ballot in most states except Ohio, I think, and a few others. So he is the Democrat nominee. So the easiest way for him or for the Democrats to replace Biden, considering he has all the delegates sewn up, not all of them, but 99% of them, and that he's already on the ballot, the easiest way to replace