Proof correction: Discussion