Chap 8: fixing combinations
Chap 8: forAll impl