Add second proof pdf.