Correction and reproof