donde formula_4, formula_5, y formula_6 pueden ser cualquier fórmula en el lenguaje.