Hi, I believe this must have been raised before but I did some searching to no avail, so please allow me.. It seems that verboseCheck is gone in QuickCheck 2. In QuickCheck 2, how do we print the test cases, specify the number of tests, or the sizes of test cases, etc.? Thank you very much.. sincerely, Shin