Once Joe Biden is formally nominated, The Democrats will proceed to replace him.