为自己的原则而战比实践这些原则要容易。
It is easier to fight for one's principles than to live up to them.
我们通过讲述的故事彼此相连。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
Efficiency in farming is not about doing more with less, but about doing better with what we have.
To be what we are, and to become what we are capable of becoming, is the only end of life.
「释义」：但凡学习不勤奋的人，必定是志向不够坚定。