Added the adaptation of Matt Might introduction to Quickcheck.