Equivalence and Simplification