It is not unlikely but that there may be yet invented several other helps for the eye, as much exceeding those already found, as those do the bare eye.
很可能还会发明出其他几种辅助视觉的工具，它们超越现有工具的程度，就像现有工具超越肉眼一样。
"The most profound truths are found in contradictions."
——《建国方略·孙文学说》（1917—1919年）
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
A good detective listens more than she talks.
The only real prison is fear, and the only real freedom is freedom from fear.
为了得到永生，一个人必须付出昂贵的代价；一个人必须在活着的时候死去多次。