Substitution & Equivalence - Worked Solutions