simple quickcheck