added quickcheck