You have got to put the past behind you before you can move on.
判断两个λ表达式是否等价的问题是无法解决的。
I don't believe in the concept of 'the method'. I believe in the concept of 'the moment'.
最大的风险是不冒任何风险。