simplification problems