Absolutely correct. The democrat nominee will be chosen on July 27, during their virtual convention that they invented to get around the Ohio deadline for placing their candidate’s name on the ballot. The Chicago convention is just for show, it has no bearing on the nomination.