S=P(C)(C)C