paxos 2013 053