Correctness of Inference Proofs