- a ¬ a.