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