Government, even in its best state, is but a necessary evil; in its worst state, an intolerable one.
政府，即使在其最佳状态下，也不过是一种必要的恶；在其最坏的状态下，则是一种无法忍受的恶。
The challenge in model checking is not just to find errors, but to understand why they occur.
In business, if you're not moving forward, you're falling behind.
我不认为有极限。
我宁愿让人困惑，也不愿让人无聊。