判断两个λ表达式是否等价的问题是无法解决的。
The only obsession everyone wants: 'love.' People think that in falling in love they make themselves whole? The Platonic union of souls? I think otherwise. I think you're whole before you begin. And the love fractures you. You're whole, and then you're cracked open.
To be alone is to be different, to be different is to be alone.
世界是一个迷宫,我们都在试图找到出路。
Sometimes, the deepest pain comes from emotions we cannot express.