--- a/etnms/etnms.aux	Thu Jan 09 22:21:04 2020 +0000
+++ b/etnms/etnms.aux	Fri Jan 10 13:03:37 2020 +0000
@@ -33,7 +33,7 @@
 \@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{6}{section.2}}
 \citation{Sulzmann2014}
 \newlabel{graph:*}{{1}{7}{The Algorithm by Brzozowski based on Derivatives of Regular Expressions}{equation.2.1}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}Values and the Algorithm by Sulzmann and Lu}{7}{section.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Values and the Algorithm by Sulzmann and Lu}{8}{section.3}}
 \newlabel{graph:2}{{2}{8}{Values and the Algorithm by Sulzmann and Lu}{equation.3.2}{}}
 \citation{nielson11bcre}
 \citation{AusafDyckhoffUrban2016}