The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
A Christian is a perfectly free lord of all, subject to none. A Christian is a perfectly dutiful servant of all, subject to all.
档案是一种武器。
Never underestimate the power of small, consistent improvements—they lead to big results over time.
领导力不是掌控，而是照顾那些你负责的人。
Don't wait until they tell you, you are ready. Show it. Do it.
States are rational actors that seek to maximize their relative power in order to ensure their survival in a competitive international system.
I don't think you can ever stop learning as an actor.