Basic version of Paxos with learning implemented