Es decir que, para todo formula_37 en