Playing around with QuickCheck