λ演算的基本概念是函数，被视为一种对应规则。
我不会再为我所不再信仰的东西服务，无论它自称是我的家园、我的祖国还是我的教会。
The farmer is the only man in our economy who buys everything at retail, sells everything at wholesale, and pays the freight both ways.
Liberal democracy may constitute the "end point of mankind's ideological evolution" and the "final form of human government."
我不需要许可来闪耀。
