P1(F)(=NP(F)(F)=NP(F)(F)=N1)c2ccccc2