Those who love music are never alone.

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

But who prays for Satan? Who, in eighteencenturies, has had the common humanity to pray for the one sinner that needed it most?（From Jane Lampton Clemens）

世界支离破碎。我们的责任是将其重新整合。