Chap 8: Ex15
Chap 8: worksheet for testing the forAll method