--- a/etnms/etnms.tex	Mon Mar 02 22:13:37 2020 +0000
+++ b/etnms/etnms.tex	Tue Mar 03 21:36:53 2020 +0000
@@ -887,7 +887,7 @@
 %\end{center}
 
 \noindent
-which established the bit-sequence algorithm produces the same
+which established that the bit-sequence algorithm produces the same
 result as the original algorithm, which does not use 
 bit-sequence.
 The proof uses two ``tricks''. One is that it uses a \flex-function