a a t t t e ¬ et