quickcheck theory updated