Nótese que formula_8.