Added quickcheck