"Love is the extremely difficult realization that something other than oneself is real."
爱是一种极其困难的领悟，即认识到除了自己之外还有其他事物是真实的。
说到底，它是你和上帝之间的事，而决不是你和他人之间的事。
数学的本质在于它的自由。
模型检查是验证硬件和软件系统正确性的强大工具。
The most damaging phrase in the language is: 'We've always done it this way.'
海洋不仅是一种资源，更是一种责任。
Success in business comes from understanding people, not just products.
There are some secrets which do not permit themselves to be told.