3.13. Substitution