P1(=NP(=NP(=N1)(N)N)(N(C)C)N(C)C)(N(C)C)N(C)C