Sea el caso: formula_20.