Title: Preservation of termination for explicit substitution