QuickCheck works!