Proof, de jure a probe