laying out some groundwork for a subtitution lemma