alpha development of paxos