与forall