more QuickCheck