Opening the proof journal...