Setting things up for QuickCheck