Paxos and antipaxos