"There is no such thing as a happy ending. There are just good places to stop."
λ演算本质上是一个关于函数及其应用的理论。
The only thing that can make you powerful is your own soul.