todo formula_23.