edit lecture: add to QuickCheck