forall passing