5.6 - Substitution Rule