3. what the thinker thinks - the prover proves