Lesson1-QuickCheck2-07