added quickcheck theory