Now discussing substitution in Intro.