forall instead of forAll