a a ¬ n,