t t s t ¬ t f a it