Index: doc/theses/jiada_liang_MMath/background.tex
===================================================================
--- doc/theses/jiada_liang_MMath/background.tex	(revision ccfbfd90ab1713dc68c30f792b4a896c53587954)
+++ doc/theses/jiada_liang_MMath/background.tex	(revision 41c4b5edb9673c16925ff171fbc5f703ece5c320)
@@ -45,5 +45,5 @@
 Statically initialized identifiers may appear in any constant-expression context, \eg @case@.
 Dynamically initialized identifiers may appear as array dimensions in @g++@, which allows variable-sized arrays on the stack.
-Again, this form of aliasing to primary constant is not an enumeration.
+Again, this form of aliasing is not an enumeration.
 
 
Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision ccfbfd90ab1713dc68c30f792b4a896c53587954)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 41c4b5edb9673c16925ff171fbc5f703ece5c320)
@@ -423,4 +423,5 @@
 
 \section{Golang}
+\label{s:Golang}
 
 Golang has a no enumeration.
@@ -1068,6 +1069,6 @@
 
 Python is a dynamically-typed reflexive programming language with multiple versions, and hence, it is possible to extend existing or build new language features within the language.
-As a result, discussing Python enumerations is a moving target, because if a features does not exist, if can often be created with varying levels of complexity.
-Nevertheless, an attempt has been made to discuss core enumeration features that come with Python 3.13.
+As a result, discussing Python enumerations is a moving target, because if a features does not exist, it can often be created with varying levels of complexity within the language.
+Nevertheless, the following is a discuss of the core enumeration features that come with Python 3.13.
 
 A Python enumeration type is a set of ordered scoped identifiers (enumerators) bound to \emph{unique} values.
@@ -1081,5 +1082,5 @@
 class Week(Enum): Mon = 1; Tue = 2; Wed = 3; Thu = 10; Fri = @auto()@; Sat = 4; Sun = @auto()@
 \end{python}
-where @auto@ increments by 1 from the previous enumerator value.
+where @auto@ increments by 1 from the previous enumerator value \see{Golang \lstinline[language=Go]{iota}, \VRef{s:Golang}}.
 Object initialization and assignment are restricted to the enumerators of this type.
 An enumerator initialized with same value is an alias and invisible at the enumeration level, \ie the alias it substituted for its aliasee.
@@ -1108,5 +1109,5 @@
 \end{cquote}
 
-As an enumeration is a \lstinline[language=python]{class}, its own methods.
+An enumeration \lstinline[language=python]{class} can have methods.
 \begin{python}
 class Week(Enum):