The end of history will be a very sad time. The struggle for recognition, the willingness to risk one's life for a purely abstract goal, the worldwide ideological struggle that called forth daring, courage, imagination, and idealism, will be replaced by economic calculation, the endless solving of technical problems, environmental concerns, and the satisfaction of sophisticated consumer demands.

I don't know where the limits are, but I would like to go there.

我们要做的是让中国汽车工业在全球市场上赢得信任。

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