If we spoke a different language, we would perceive a somewhat different world.
Every decision we make today echoes in the marine ecosystems of tomorrow.
【释义】：恶毒的话不要出口，愤怒的话也不要让其伤害自己。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
一个人真正的财富是他的记忆。除此之外，他既不富有也不贫穷。
未来是一个概念——它只存在于我们的脑海中。
任正非内部讲话稿