最好的决策是在数据和经验的交汇处做出的。

"The world is not a wish-granting factory."

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

Silence is the perfectest herald of joy: I were but little happy, if I could say how much.

简单是终极的复杂。

保持一颗闲适的心，随遇而安。

法律体系不仅仅是规则的体系，也是权力的体系。