paxos-antipaxos 4