10.3. QuickCheck

To do.