晏子春秋

法律权利不仅仅是法律义务的影子。

生活不是一个人所经历的，而是一个人所记住的以及如何记住并讲述它。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

数学家研究纯数学不是因为它有用；他研究它是因为他喜欢它，他喜欢它是因为它美丽。

I’ve learned that you have to be strong enough to stand alone, smart enough to know when you need help, and brave enough to ask for it.

The only real faith is the faith in love.

保护海洋生态，就是保护渔业的未来。