I earnestly wish to point out in what true dignity and human happiness consists.
λ演算本质上是一个关于函数及其应用的理论。
La memoria es un perro que se muerde la cola.