Will the substitution rule