What the thinker thinks, the prover proves

Robert Anton Wilson