λ演算是一种表示函数及其应用的形式体系。

I believe in the power of love.

多元宇宙不是一个理论，而是我们理论的后果。

阅读是不动而旅行；写作是旅行而不动。

The existence of a legal system depends on the general acceptance of its rules by the society.

在旧世界，你将30%的时间用于提供优质的服务，70%的时间用于宣传。在新世界，这个比例颠倒了。