See forall.