Index: doc/theses/jiada_liang_MMath/trait.tex
===================================================================
--- doc/theses/jiada_liang_MMath/trait.tex	(revision 8cb2ff633d154e6819fdc26b163cfc2247eac230)
+++ doc/theses/jiada_liang_MMath/trait.tex	(revision d7cb0f736b9617539a88c6d2cb8d76f93d1e5f37)
@@ -120,5 +120,5 @@
 Hence, the \CFA enumeration traits never connected with the specific @enum@ kind.
 Instead, anything that can look like the @enum@ kind is considered an enumeration (duck typing).
-However, Scala, Go, and Rust traits are nominative: a type explicitly declares a named traits to be of its type, while in \CFA, the type implements all functions declared in a trait to implicitly satisfy a polymorphic function/type needs.
+However, Scala, Go, and Rust traits are nominative: a type explicitly declares a named traits to be of its type, while in \CFA, any type implementing all requirements declared in a trait implicitly satisfy its restrictions.
 
 One of the key differences between concepts and traits, which is leveraged heavily by \CFA, is the ability to apply new \CFA features to C legacy code.