simlified QuickCheck example