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

Another thing I think should be avoided is extremely intense ideology because it cabbages up one's mind...when you're young it's easy to drift into royalties and when you announce that you're a loyal member...and you're gradually ruining your mind.

如果你没有时间，你就没有优先事项。

Diversity in thought and background leads to better decision-making and more creative solutions.