 to pick the nominee technically is August 7th to allow Joe Biden to qualify for the Ohio ballot. So the timing is even more constrained than I think people realize. He would certainly have to make the decision based on that timing to step down before that. And then if he did, they could just continue on to the convention. Hmm.