使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
唯一真正安全的系统是关闭的，浇筑在混凝土块中，并密封在有武装警卫的铅衬房间中——即便如此，我仍有疑虑。
Sustainability must be the cornerstone of modern quarry operations, not an afterthought.
Leadership is not about being in charge. It's about taking care of those in your charge.
为什么我会和这样同时代的人一块出生呢？