more forall -> ∀