Stronger simplification