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.

当被介绍给某人时，要有眼神接触并数到4，你们都会记住对方。

The North Sea has been a powerhouse of energy for decades, and it still has a vital role to play in the UK's energy security.

"The truth is a shadow, and the shadow is a lie."

你每花一块钱购买一些实质性的东西，预计在其寿命结束时要支付一块钱的维修、保养或处理费用。

"The journey not the arrival matters."