无产阶级夺取政权，把生产资料变为国家财产。

计算理论的美在于它能够将世界的复杂性抽象成可管理和可理解的模型。

Escribir es una forma de estar en el mundo, de participar en él, de transformarlo.

质量和安全是我们产品的基础，我们必须坚持最高标准。

我们要做海洋的守护者，而不是掠夺者。