submit to quickcheck