ModifiedPaxos Implemented