"The world is a book, and those who do not travel read only a page."
世界是一本书，不旅行的人只读了一页。
The motion of the universe is eternal.
模型检查是验证硬件和软件系统正确性的强大工具。
预测未来的最好方法是创造未来。
天地有万古岁月，可人死了就不会再复活；人寿命最多百年，一天很容易就会过去了。
The only limit to our realization of tomorrow will be our doubts of today.
成功就是对你所做的事情感到快乐。
一个人若不付出一些无知的代价，就永远不会幸福。