The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
The only safe thing is to take a chance.
Life is either a daring adventure or nothing at all.
如果你不能改变它，意见有什么用？
The only obsession everyone wants: ‘love.’ People think that in falling in love they make themselves whole. The Platonic union of souls.
The only people who see the whole picture are the ones who step out of the frame.