included QuickCheck