Proof, Logic And Conjecture by Robert S. Wolf