More work done to the paxos part