n n ¬ a.