adding tests for forall