more on substitution lemma