leiningen task for conjecture.