Formal FP