自由不止一种……自由去做和自由免于。在无政府状态的日子里，是自由去做。现在你被给予了自由免于。不要低估它。
There is more than one kind of freedom... Freedom to and freedom from. In the days of anarchy, it was freedom to. Now you are being given freedom from. Don't underrate it.
过去是跟随我们的影子，但也是指引我们前进的光。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
电影的力量在于它能够让我们在世界上感到不那么孤独。