edit lecture: finish QuickCheck