Reasoning about Solving Equations (Part 1)