形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
如果你对自己是否能一次搞定怀有任何疑虑的话，就对自己好点，分两次搞定吧。
Taught from infancy that beauty is woman's sceptre, the mind shapes itself to the body, and roaming round its gilt cage, only seeks to adorn its prison.
凡是在地方上做官的人，知道自己的职责吗？应该是百姓的仆役，而不是役使百姓的人