(f(t);s-a)=(atf(t);s).