;¬ a