Help with unit 7 lesson 3 quickcheck