use correction set definitions