Added Paxos code