文字的力量不在于其复杂性，而在于其触动心灵的能力。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

最重要的是我们对世界产生兴趣，并从我们的同胞中获取快乐。

你必须忠于自己。足够坚强才能忠于自己。足够勇敢才能足够坚强地忠于自己。足够健康才能足够勇敢地足够坚强地从真实的自我中塑造自己。

The work of art is a dialogue with the infinite.

过去总是紧张的，而未来是完美的。