Adding paxos messages