短期利益绝不应损害长期的环境健康。

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 a finite problem.

优化编译器很像核电站。它们都非常强大，也非常危险。

Leadership in healthcare means making tough decisions today that will benefit patients tomorrow.

The construction of green mines is not only an environmental requirement but also a reflection of corporate competitiveness.

成功是个糟糕的老师。它让聪明人认为他们不能失败。