P(F)(F)(F)=NP(F)F