Principles of Reactive Programming - QuickCheck - Week 1