Design is not just what it looks like and feels like. Design is how it works.

The stupid believe that to be truthful is easy; only the artist, the great artist, knows how difficult it is.

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。