tests pass for forall