Added `generalize` and `simplify`