progress on general substitution lemma