getting closer... currently acceptors seem to do the right thing, not so sure about proposers