working on simple paxos