week1 HW ( Quickcheck ) start