Proof finds the edge; Proof is how hot we think it is.