What the Thinker thinks the Prover proves
← →

/