add spec part for oc relaxation