, , s , l n ¬ s a t e o at