t s 2 r : s r t , r r t ; t f tf