[K].CNC(S)=S