Paxos messages fully supported, PaxosManager ready to be filled with logic