The secondary rules are those that provide for the creation, alteration, and extinction of primary rules.
次要规则是那些规定主要规则的创建、修改和废止的规则。
The beginning of wisdom is the definition of terms.
教育永远不会结束，沃森。它是一系列的课程，最后一课是最伟大的。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
表演不是要成为不同的人。它是在明显不同的事物中找到相似之处，然后在那里找到自己。