Starting paxos stuff