Paxos for JavaScript.