added paxos skeleton