S=P(S)(OCC)OCC