我们都是进化之树上的叶子。
We are all leaves on the great tree of evolution.
In the end, we are all alone, and that is the fundamental condition of human existence.
One can't proceed from the informal to the formal by formal means.
The greatest theorems often arise from questioning the obvious.
The only real mistake is the one from which we learn nothing.