Explain the substitution rule please