Open the proof