The leader stepped down after C_new committed and the leader itself is not a member of C_new.voters (§6.4.1 — the removed-leader case).