--- a/thys/notes.tex	Sat Jan 31 18:21:03 2015 +0000
+++ b/thys/notes.tex	Mon Feb 09 12:13:10 2015 +0000
@@ -348,5 +348,8 @@
 \end{tabular}
 \end{center}
 
+\subsection*{Problems in the paper proof}
+
+I cannot verify 
 
 \end{document}