"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

我无所畏惧地追求让我灵魂燃烧的东西。

我在历史中学到的唯一东西就是：大众从未从历史中汲取教训。（11月17日名言）

The work of art is the result of a struggle between the artist and his material.

To write is to make one's self a echo of the world's soul.

供应链是电商的核心竞争力，没有之一。

我不害怕失败，我害怕不去尝试。

不要害怕失败，要害怕不去尝试。

Failure is not the opposite of success; it's a stepping stone to success.

I believe in the power of dreams.

The world is a story, and we are all its characters.