S=P(F)(F)F