Changed forall by ∀.