Laws, in their most general signification, are the necessary relations arising from the nature of things.
法律，在其最一般的意义上，是事物本质产生的必要关系。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
"The best time to plant a tree was 20 years ago. The second best time is now."
"Sometimes the hardest stories to write are the ones closest to your heart."
"To think is to confine yourself to a single thought that one day stands still like a star in the world's sky."
Silence is not the absence of sound, but the presence of an unspoken truth.
我深信制造业中统一性原则是成功的基础。
"A writer is a world trapped in a person."