more text, started on QuickCheck theory