Z | ¬ ¬ ∆