first assignemnt, QuickCheck