The historian is a prophet looking backwards.

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.

道的根本来源于天

Art should provoke, not just decorate.

"The best way to find out if you can trust somebody is to trust them."

可持续性不是一种趋势，而是唯一的前进道路。