Fix forAll