s(f(t);u)u=(f(t)t;s).