quickcheck exercise template.