每一块曾经制造的塑料仍然存在于某处——这不仅仅是一个事实，更是我们的责任。

测量可测量的，并使不可测量的成为可测量的。

记忆是奇怪的动物：在你最不经意时咬你一口。

Legal obligations are not merely moral obligations backed by sanctions.

Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.

The most important property of a program is whether it accomplishes the intention of its user.

我们需要从所有权转向使用权——从产品转向服务。