My attempt at Paxos