renaming and simplification