Working model of paxos.