Hot: prover