Deleted dummy QuickCheck