1-quickcheck