The world is a mirror, and we see in it what we are.
世界是一面镜子，我们在其中看到自己。
"Sometimes, the only way to win is to refuse to play the game."
工作的乐趣在于一个词——卓越。知道如何做好一件事就是享受它。
λ演算是一种表示函数及其应用的形式体系。