Substitution rule

5.2. Substitution rule#