Pairing for negations