More work on Paxos