Paxos algorithm in Ruby