Into the proof section of the paper