λ演算本质上是一个关于函数及其应用的理论。
我是明天,或未来的某一天,我今天所建立的。我是今天,我昨天或前几天所建立的。
The mind is a system of coordinated sensations.