What the thinker thinks the prover proves