And it becomes a powerful way of reasoning about the code, a powerful way of using the code, so those notions of specs are really important.

以保证你写对代码,这将成为分析代码,使用代码的重要手段,所以规范说明的概念。

麻省理工公开课 - 计算机科学及编程导论课程节选

Is it a book about what we today might call moral psychology ? and the right ordering of the human soul, which is a prominent theme addressed in this work?

或是一本,我们在今日所谓道德心理学,及人类灵魂之正义规范的书，因这些重要的主题正是本作品所大量陈述？

耶鲁公开课 - 政治哲学导论课程节选