The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
I'm not interested in playing the same character over and over again.
The most valuable crop we can grow is trust between producers and consumers.