Added QuickCheck