The primary function of law is to provide a framework for social order.

It is therefore obvious that...

The night is a liar, but the dawn tells the truth.

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

荒野是一个危险的地方。要生存，你必须尊重它。

The profession of book writing makes horse racing seem like a solid, stable business.

我不会让世界改变我的笑容。