有两类公司，一种公司为提高价格而工作，一种公司为降低价格而工作。我们会成为第二种。
There are two kinds of companies， those that work to try to charge more and those that work to charge less. We will be the second.
可持续林业不是成本，而是对我们未来的投资。
生活是一段旅程，如果你爱上了这段旅程，你将永远爱着它。
多样性和包容性不仅仅是锦上添花，而是任何组织的必备条件。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."