More quickCheck