要发出光芒，必须忍受燃烧。
"What is to give light must endure burning."
一个组织的问题解决质量决定了其解决方案的质量。
"History is not what happened but what survives the shipwreck."
模型检查是验证有限状态并发系统正确性的强大技术。
译文：纵览历史，凡是贤明的国和家，成功源于勤俭，衰败起于奢华。赏析：节俭不是吝啬，是对钱财的合理利用。不管何时，我们都要有忧患意识，保持俭朴的作风。
Education is the foundation of conservation—people protect what they understand.
I’m not a guy that’s going to let my love for my loyalty down.
The secret of change is to focus all of your energy not on fighting the old, but on building the new.
"A good detective listens to the silence as much as the noise."