incorporating feedback
improving quick-check and adding test cases