国家本质上是侵略性和扩张主义的，因为它们存在于一个无政府状态的国际体系中，没有更高的权威来约束它们。
States are inherently aggressive and expansionist because they exist in an anarchic international system where there is no higher authority to keep them in check.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I don't need approval to be myself.
你跑得越多，他们追得越紧。
纵然伤心，也不要愁眉不展，因为你不知是谁会爱上你的笑容。
我们希望建立一个为所有人服务的谷歌。