paxos 2013 089