人生应为生而食，不应为食而生。
One should eat to live，not live to eat.
"The heart has reasons that reason does not understand."
The book is a weapon against oblivion.
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 best way to predict the future is to invent it.