Paxos: Locks & Logs.