Condición: formula_10 para cualquier código formula_11.