程序测试可以用来显示错误的存在，但绝不能显示它们的不存在！

A story is never finished; it’s only abandoned.

创新是经济繁荣的核心问题。

A good system design is one that makes it easy to do the right thing and hard to do the wrong thing.

Illness is the night-side of life, a more onerous citizenship. Everyone who is born holds dual citizenship, in the kingdom of the well and in the kingdom of the sick.

Technology is the core driver of industry progress; we must continuously invest in R&D.

Life is like a cup of tea, it won't be bitter forever, but it will be bitter for a while.

The energy industry is not just about extraction; it's about innovation and sustainability.

互联网是一个网络的网络，由互操作性原则管理。

能源的未来是低碳的，但石油和天然气在未来几十年仍将是能源结构的一部分。