finished a better version of Paxos