f(u,s)=s-u tr(u)=u ff(u,s)=f(tr(u),s) x'=f(x,t) done