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

做出伟大工作的唯一方法就是热爱你所做的事。

我不导演电影，我导演人。

伟大的公司不仅适应变化，还推动变化。

It's not just the ad, but the product that must be interesting.

创造性破坏的过程是资本主义的基本事实。

我们才刚刚开始理解基因编辑的潜力以及它带来的问题。