 Ultimately, at the convention in August. So the DNC is still going ahead with their virtual roll call of all the delegates to formally nominate Biden and Kamala Harris. And then at that point, they'll be replaced at the convention. Either she'll be the nominee or they'll both be gone.