fixed quickcheck introduction