P1(P(C1(C)C)C(C)(C)C)C(C)(C)C