diff --git a/VL1.tex b/VL1.tex
index d546e6f..876eff0 100644
--- a/VL1.tex
+++ b/VL1.tex
@@ -69,6 +69,7 @@
 A Haskeller might claim: haskell...
 \begin{itemize}[<+->]
 \item eliminates certain classes of bugs
+\item not only disallows bad programs, but also defines what constitutes a bad program
 \item makes it easy to reason about code
 \item decreases the bus-factor
 \item makes it possible to apply huge changes to large programs without worrying about the implicit state machine