P1(P(P(P1C(C)(C)C)C(C)(C)C)C(C)(C)C)C(C)(C)C