prevent bogus simplifications