Added forAll and more tests.