diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex
index 85bfe771..4f595bbd 100644
--- a/papers/hatra21/hatra21.tex
+++ b/papers/hatra21/hatra21.tex
@@ -154,7 +154,7 @@ even to creators who are not explicitly providing types.
 Goal: \emph{support type-driven tools for all programs}.
 
 Programs spend much of their time under development in an incomplete state, even if the final artifact
-is well-typed. Tools should support this, by providing type information for all programs.
+is well-typed. Tools should support this by providing type information even for ill-typed programs.
 An analogy is infallible parsers, which perform error recovery and provide an AST for all input texts.
 
 Program analysis can still flag type errors, for example with red