started to "correct" the proof