Updating the proof