Children's books should challenge as well as comfort.
He not busy being born is busy dying.
最好的电影是那些给你留下更多问题而不是答案的电影。
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 probably not important to mathematics.