λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
The rule of law is a political ideal, not a legal one.
人类最伟大的追求是知道必须做什么才能成为一个人。
Confidence is the most beautiful thing you can possess.
释义：对于富贵的人，人人都争相投奔他；对于贫困潦倒的人，人人都会争相远离他。