minimizing extensions