paxos basic functionality complete