(b) Para todo formula_31