18. Substitution into formulas