Index: doc/theses/jiada_liang_MMath/trait.tex
===================================================================
--- doc/theses/jiada_liang_MMath/trait.tex	(revision 63d5b9c813497aa370ec41bc6b32ec92e82c0831)
+++ doc/theses/jiada_liang_MMath/trait.tex	(revision 43ab5fb064904ccb459bf40c7534ea99a9d74c02)
@@ -125,5 +125,5 @@
 For example, \VRef[Figure]{f:GeneralizedEnumerationFormatter} shows that pre-existing C enumerations can be upgraded to work and play with new \CFA enumeration facilities.
 Another example is adding constructors and destructors to pre-existing C types by simply declaring them for the old C type.
-\CC fails at certain levels of legacy extension because many of the new \CC features must appear \emph{within} an aggregate definition, where it is impossible to change legacy library types.
+\CC fails at certain levels of legacy extension because many of the new \CC features must appear \emph{within} an aggregate definition due to the object-oriented nature of he type system, where it is impossible to change legacy library types.