I cannot fix on the hour, or the spot, or the look, or the words, which laid the foundation. It is too long ago. I was in the middle before I knew that I had begun.

The only way to predict the future is to have power to shape it.

判断两个λ表达式是否等价的问题是无法解决的。

文字的力量在于它们可以创造出从未存在过的世界。