The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The only purpose for which power can be rightfully exercised over any member of a civilized community， against his will， is to prevent harm to others.
Only if we understand, can we care. Only if we care, will we help. Only if we help, shall all be saved.
我来自那里。我来自这里。我不在那里，我也不在这里。
生存的规则永远不会改变，无论你是在沙漠还是在办公室。
幸福不在于强度，而在于平衡、秩序、节奏与和谐。