n s s : t ¬ r l r s.