proofCorrection