Prove the completeness and soundness of judge.