PF = formula_3