RAW: What the Thinker Thinks, the Prover will Prove