DEFINITION not()
TYPE =
       Prop→Prop
BODY =
λA:Prop.A→False