t e a s ¬ t tn