recap section + notes on substitution