Safety isn't just a policy, it's a culture that must be lived every day in our mines.

The true test of our work comes decades later, when it's still being loved and used.

不要问我是谁，也不要要求我保持不变。

数学家沉浸在他的符号洪流中，表面上处理纯粹的形式真理，仍然可能得出对我们描述物理宇宙具有无尽重要性的结果。