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.

The most important thing is to be willing to question everything.

The light was fading, and with it, the warmth of the day.

他不是在忙着出生，而是在忙着去死。

Fishermen are our foundation, their well-being is the well-being of the industry.

人的私人思想不受法律约束。