3.2 Substitution and Elimination