diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf
index e8865fa1..6f01d92a 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 e659148c..58b8e5e2 100644
--- a/papers/hatra23/hatra23.tex
+++ b/papers/hatra23/hatra23.tex
@@ -110,6 +110,9 @@ not play well with type-directed tooling, for example $\ANY$ cannot
 provide autocomplete suggestions. Local type inference will infer more
 precise union types, and hence better type-driven tooling.
 
+At some point, we hope that error suppression will be the only difference
+between strict mode and non-strict mode.
+
 \bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}
 
 \end{document}