t ¬ r t s ,t