The desire to be desired is the most powerful thing in the world.
The truth is not always beautiful, nor beautiful words the truth.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。