paxos-antipaxos 7