Simplification Basic Rules