paxos 2013 229