beginning the Algebraic Simplification