平庸的标志是寻找先例。
The mark of mediocrity is to look for precedent.
在任何领域达到精通的秘诀是永远保持学习的心态。
环境适应自己性情的人是快乐的，而能使自己的性情适应所有环境的人是更优秀的。
在诗歌的世界里，没有界限，只有无尽的可能性。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I believe in the power of cinema to change the world.