CCC(
CCC(P)