removed quickcheck dependency