updating the proof