如果你想走得快，独自前行；如果你想走得远，结伴同行。

The challenge in model checking is not just to find errors, but to understand why they occur.

上帝喜爱人间的灯光甚於他自己的大星。

我写作是为了理解。我写作是为了不忘却。

我们必须记住，(地球)这是一颗非常小的恒星，可能还有一些更大、更重要的恒星，可能是非常虚拟和快乐的（更适合人类居住？）。