判断两个λ表达式是否等价的问题是无法解决的。
You are the storyteller of your own life, and you can create your own legend or not.