week1 HW ( Quickcheck ) during