9.3. QuickCheck

To do.