added quickcheck test