Characterising Explicit Substitutions which Preserve Termination (Extended Abstract)