more succinct quickChecks