reduced -> minimal