Revert "fix a broken proof in phase one"
Revert "fix a broken proof in phase one"

This reverts commit 842d1655d7ffafa3276a63b75cf08bc9c854e7bf.

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord