conjecture should be a dev dependency.