Preservation of termination for explicit substitution door R. Bloo