forall