The writer’s role is to question, not to comfort.
过去不是异国,而是我们祖先的家园。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。