函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。

In the first place God made idiots. This was for practice. Then He made School Boards.

Without rules, there can be no true art.

音乐是我的生命，没有音乐我无法想象生活会变成什么样子。

Banks exist because they help mitigate problems created by information asymmetries.