Es todo punto formula_1 que no verifica "alguna" de las restricciones del modelo.