start fleshing out QuickChecks