Nonviolence is a powerful and just weapon which cuts without wounding and ennobles the man who wields it.

Sustainable development is not a choice, but a responsibility.

判断两个λ表达式是否等价的问题是无法解决的。

探索未知是人类永恒的追求。

We are all cut from the same genetic cloth, and that cloth was woven in Africa.

写作是探索人类灵魂未知领域的过程。

The stars shall fade away, the sun himself grow dim with age, and nature sink in years; but thou shalt flourish in immortal youth.