the thinker thinks and the prover proves