instructions for quickcheck