过去是一个陌生的国度；他们做事的方式不同。
"The past is a foreign country; they do things differently there."
"Sometimes the hardest thing and the right thing are the same."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Quality means doing it right when no one is looking.
Only a life lived for others is a life worthwhile.
真相是，我们都在等待有人来照顾我们。我们都在等待有人告诉我们该做什么。
最危险的武器不是杀人的武器，而是改变思想的武器。