Business is like war—you need a strategy, but you also need to adapt when things go wrong.
商业就像战争——你需要战略，但当事情出错时，你也需要适应。
The most important thing in science is not so much to obtain new facts as to discover new ways of thinking about them.
翻译：仰观天上日月星辰，俯察地面山川原野，因此能够知晓幽隐和显明的各种事理。
一个民族的记忆是其最具争议的领土。
和对的人结婚，这将使所有事情都变得不同。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."