new quickcheck property