"formula_4 no sabe si formula_5" puede ser expresado como formula_15.