WaPo lays it out

How Democrats can pick a new candidate, step by step