Index: doc/theses/jiada_liang_MMath/CFAenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/CFAenum.tex	(revision f3abce961730a076add7c8efe035e28682936f37)
+++ doc/theses/jiada_liang_MMath/CFAenum.tex	(revision f6bbc92044afb0bdffb4c86566e1b3401e2c5196)
@@ -215,5 +215,5 @@
 
 Subset defines an implicit subtyping relationship between two \CFA enumerations. \CFA also has 
-containment inheritance for \CFA enumerations to explicit structure subtyping.
+containment inheritance for \CFA enumerations where subtyping is explicitly structured.
 
 \section{Inheritance}
