我们必须挑战现状，寻找更好的做事方法。

The difference between a successful person and others is not a lack of strength, not a lack of knowledge, but rather a lack in will.

Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world, stimulating progress, giving birth to evolution.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

译文：成名多是在穷苦的岁月里发奋磨砺取得的，失败多是因为在得志时松懈造成的。赏析：古人说，生于忧患，死于安乐。人时时保持一颗忧患的心去做事，自然就会顺遂，而在得意时就忘乎所以，往往就会招致失败。