diff --git a/papers/hatra21/talk.tex b/papers/hatra21/talk.tex
index 4deb2c1d..1c8627fb 100644
--- a/papers/hatra21/talk.tex
+++ b/papers/hatra21/talk.tex
@@ -186,7 +186,7 @@ Goal: \emph{support mixed strict/nonstrict development}.
 Goal: \emph{provide benefits of type-directed tools to everyone}.
 
 \begin{itemize}
-\item \textbf{Infer types} for all variables, don't just give them type any.
+\item \textbf{Infer types} for all variables.  Resist the urge to give up and ascribe a top type when an error is encountered.
 \item \textbf{System F} is in Luau, so everything is undecidable. Yay heuristics!
 \item \textbf{Different modes} currently infer different types. Boo!
 \end{itemize}