forall tests