Reasoning about Solving Equations (Part 2)