diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf
index 36c86f5e..dff7249a 100644
Binary files a/papers/hatra23/hatra23.pdf and b/papers/hatra23/hatra23.pdf differ
diff --git a/papers/hatra23/hatra23.tex b/papers/hatra23/hatra23.tex
index 571cdbc8..96691bd1 100644
--- a/papers/hatra23/hatra23.tex
+++ b/papers/hatra23/hatra23.tex
@@ -103,8 +103,11 @@ inference~\cite{PT00:LocalTypeInference}.
 Currently, non-strict mode operates in the style of gradual type
 systems by inferring $\ANY$ as the type for local variables. This does
 not play well with type-directed tooling, for example $\ANY$ cannot
-provide autocomplete suggestions. We plan to improve non-strict mode's
-type inference and interaction with error-suppression.
+provide autocomplete suggestions.
+
+We hope that, together with error suppression, these changes will
+result in a significant improvement to type inference and type error
+reporting in non-strict mode.
 
 \bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}