Substitution rule is broken