说出真相的唯一方式就是不用嘴说话。
The ocean feeds billions, and it's our duty to ensure it can continue doing so for centuries to come.
历史上的每位暴君都相信自由——他自己的自由。
The spirit of entrepreneurship is the spirit of never giving up.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
A mathematician's work is to find patterns where others see chaos.