Preservation of termination for explicit substitution by R. Bloo