correct simplification