paxos: more code-writing