Adding Paxos layer - WIP