--- a/handouts/ho04.tex	Sun Oct 27 11:31:08 2019 +0000
+++ b/handouts/ho04.tex	Sun Oct 27 11:46:06 2019 +0000
@@ -3,7 +3,7 @@
 \usepackage{../style}
 \usepackage{../langs}
 \usepackage{../graphics}
-
+\usepackage{skull}
 
 \begin{document}
 \fnote{\copyright{} Christian Urban, King's College London, 2014, 2015, 2016, 2017, 2019}
@@ -430,9 +430,11 @@
 the other clauses in $\inj$. 
 
 
-Phew\ldotsSweat\ldots Unfortunately, there is one more problem with the
-described algorithm so far: it is very slow. We need to include in all
-this the simplification from Lecture 2. This is what we shall do next.
+Phew\ldots{}Sweat\ldots!\#@$\skull$\%\ldots Unfortunately, there is
+a gigantic problem with the described algorithm so far: it is very
+slow. We need to include in all this the simplification from Lecture
+2. And what rotten luck: simplification messes things up and we need
+to rectify the mess. This is what we shall do next.
 
 
 \subsubsection*{Simplification}