整个世界都是一系列的奇迹，但我们太习以为常了，以至于把它们称为普通的事物。

"The past is never dead. It's not even past."

It is by no means an irrational fancy that， in a future existence， we shall look upon what we think our present existence， as a dream.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

"Don't write down to children. They're much smarter than we think."

"I’m the one who decides my value."

You are not only responsible for what you say, but also for what you do not say.

I believe that if you show people the problems and you show them the solutions they will be moved to act.

我们乐于种下种子，等待它们长成树。

Politics is the art of the possible, theatre is the art of the impossible.