f a s n - ¬ , tl