We are all descendants of successful ancestors; failure left no progeny.
我们都是成功祖先的后代；失败者没有留下后代。
模型检查是验证有限状态并发系统正确性的强大技术。
Memory is the last fortress against forgetting.
最有趣的艺术发生在学科的边缘。
Success is not just about making profits, but about creating sustainable value for all stakeholders.
完美很无聊。如果一张脸上没有瑕疵，那就什么都不是
现代时代的问题是个人在面对社会机制的压倒性力量时的自我保存问题。
The world is always ending for someone.
一个真正的决定是通过你采取的新行动来衡量的。如果没有行动，你就没有真正做出决定。