λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
The beauty of mathematics lies in its ability to describe the universe in a language that transcends cultural and linguistic barriers.
I must have flowers, always, and always.
我相信爱和音乐的力量可以改变世界。