λ演算本质上是一个关于函数及其应用的理论。

临近水边，时间长了，就会懂得水中鱼的习性；靠近山林，时间长了，就会知道林中鸟儿的声音。

Never look back unless you are planning to go that way.

你的DNA不是你的命运，但它是了解你健康的有力工具。

The most valuable resource in agriculture is not the crop, but the people who grow it.

The end of law is not to abolish or restrain, but to preserve and enlarge freedom.

逻辑学研究不仅仅是关于正确推理，而是关于思想的解放。

"The most important thing is to stay resilient."

真相是一件美丽而可怕的事情，因此应该非常谨慎地对待。