要理解现在，必须挖掘过去。
To understand the present, we must dig into the past.
意识不是一种事物，而是一种适应性反应的动态流动。
我所指的法律，不过是对法院事实上会如何判决的预测，而非更自负的东西。
不断学习，不断成长。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
You know what it’s like to wake up in the middle of the night with a vivid dream? And you know that if you don’t have a pencil and pad by the bed, it will be completely gone by the next morning. Sometimes it’s important to wake up and stop dreaming. When a really great dream shows up, grab it.