i OcffS ett sammanjemkningsförflag.