, s , r s j t a r 1 , r t t ¬ r ; a.