如果一个人不完全愿意随时离职，就不适合担任公职......

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

The greatest economic transformations often begin with small, deliberate steps.

人们心中所寄予的世俗希望化为灰烬——或者繁荣；然后，就像沙漠尘埃上的雪，照亮一两个小时——然后消失。