substitution rule