"What the thinker thinks, the prover proves"