人生是一次性的旅行，让我们勇敢地生活，不留遗憾。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The only way to do great work is to love what you do.
为了成功，你必须愿意失败。
The health of our seafood begins with the health of our waters.
To be aware of the idea of social structure and to use it with sensibility is to be capable of tracing such linkages among a great variety of milieux.
The truth is rarely pure and never simple.