Started adding QuickCheck properties.