started implementing paxos