initial push paxos