quickcheck passing