t ¬ s t.