创作行为并不纯粹。历史证明了这一点。社会学提取了它。作家失去了伊甸园，写作是为了被阅读，并逐渐意识到他是需要负责的。
Luck， is largely responsible for my reputation for genius. I don’t walk into the office in the morning and say， ‘Am I smart today？’ I walk in and wonder， ‘Am I lucky today？’
Art is my escape and my prison.
除了感官，什么也不能治灵魂的创痛，同样，感官的饥渴也只有灵魂解除得了。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
"We must always strive to do the right thing, even when it is difficult."
The true joy of mathematics lies in the act of discovery, not just the result.
"Success is a lousy teacher. It seduces smart people into thinking they can't lose."