Replaced "evaluates to" with "equals" for substitution