--- a/handouts/ho02.tex	Thu Oct 01 22:51:32 2015 +0100
+++ b/handouts/ho02.tex	Thu Oct 01 23:09:20 2015 +0100
@@ -570,6 +570,8 @@
 
 \section*{Proofs}
 
+
+
 \end{document}