Literature is my Utopia. Here I am not disfranchised. No barrier of the senses shuts me out from the sweet, gracious discourse of my book friends.

The night is a great mystery, but the stars are its clues.

λ演算是一种表示函数及其应用的形式体系。