Simplifying and Solving