- n ¬ a.