摄影还不够好，还不够激进。

The challenge in model checking is not just to find errors, but to understand why they occur.

Language is not a cultural artifact that we learn the way we learn to tell time or how the federal government works. Instead, it is a distinct piece of the biological makeup of our brains.

He who loves God cannot endeavor that God should love him in return.

安全必须始终优先于生产目标。

只把眼睛盯在别人的缺点上，就会看不清自己的短处；只有常常检查自己，才能对自己的缺点了如指掌。

我不是在试图模仿照片；我是在试图制造一张照片。