[K].FP(F)(O)=O