Con formula_9