Before the application, be sure to determine the expression after the change is completely equivalent to the original expression.
