con formula_4