N O X
= ¬ ..
D ∧ Y