一个命题的证明是一种性质使得我们相信该命题的过程。
世界是你的。
要养活世界，我们必须先理解它。
从精神奴役中解放自己，只有我们自己才能解放我们的思想。
Lisp is worth learning for the profound enlightenment experience you will have when you finally get it; that experience will make you a better programmer for the rest of your days, even if you never actually use Lisp itself a lot.
I thought poetry could change everything, could change history and could humanize, and I think that the illusion is very necessary to live.
