Book's implementation of forAll