QuickCheck 2.7