, a ¬ , , at