Define negation as conjugation.