判断两个λ表达式是否等价的问题是无法解决的。
如果我能影响那位应该主持所有孩子洗礼的善良仙女,我会要求她给世界上每个孩子的礼物是一种永不磨灭的惊奇感,使之持续一生。
故事是一种表达无法用其他方式表达的东西的方式。