modifying intro in the proof paper