"The power of a story lies in its ability to change the reader."
判断两个λ表达式是否等价的问题是无法解决的。
译文:世间总有得不到的东西,也总有办不到的事。