Por ejemplo, ningún formula_56 cumple con