Read the proof