Proof, de jure a search