More specific quickcheck