modification in simplify().