con formula_1.