$¬ a