Index: doc/theses/jiada_liang_MMath/trait.tex
===================================================================
--- doc/theses/jiada_liang_MMath/trait.tex	(revision d7cb0f736b9617539a88c6d2cb8d76f93d1e5f37)
+++ doc/theses/jiada_liang_MMath/trait.tex	(revision e49c308e3a7e1d9cdf4521ccf7d8491c411451fe)
@@ -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.