paxosMain initial