En lógica, una excepción tendría la forma formula_26.