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

All mankind... being all equal and independent, no one ought to harm another in his life, health, liberty, or possessions.

Every tree planted is a step toward healing the planet, but real change requires systemic action.

人不能以流水作为镜鉴，只能在静止的水面照见自己。

In a crisis, the priority is to stop the bleeding.