Discontinuous negation

De Arbres