PropeEr based testing using test.check on clojure