∀ formula_15