PF = formula_4