S=P(C)(C)P(=S)(C)C