paxos: very rough first draft