我生来就是为了赢，但为了赢，我必须计划不输。

Every product should be designed with its next life in mind.

可持续性不是一个部门，而是一个必须渗透到我们所创造的一切中的设计原则。

能源行业必须适应和发展，以应对21世纪的挑战。

经验只是我们给错误取的名字。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

生物学中的主要问题不是通过新技术解决的，而是通过新思想解决的。