战略的本质是选择不做什么。
I don’t run out of material. I just run out of time.
农业的成功不仅仅是播种,而是培养与土地和依赖它的人的关系。
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.