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

最好的商业战略是那些将盈利能力与积极社会影响结合起来的战略。

在科学中，最令人兴奋的短语不是“我找到了！”，而是“这很有趣...”

——《致郑藻如书》（1890年）

No man, for any considerable period, can wear one face to himself and another to the multitude, without finally getting bewildered as to which may be the true.

关于奇幻的事情是，它允许你创造一个与我们自己的世界完全不同的世界，然而，它仍然可以反映我们世界的真相。