commit of paxos main, advanced

need a couple of things to to