domain simplification