Thank you very much! I just finished watching the video and am now reading more on QuickCheck. This approach makes a lot of sense.