最好的作品是那些无法解释的作品。

我不认为你对自己的行善能力有任何洞察，除非你对自己的邪恶能力有一些成熟的洞察。

我的国家最伟大的东西不是恒河水，不是泰姬陵，也不是喜马拉雅山，而是它是世界上最大的民主国家。

One often calms one's grief by recounting it.

提高就是要改变,而要达到完美就要不断改变。

The power of mathematics lies in its ability to abstract and generalize.

伟大的领导者不仅管理资源，还创造新市场。

The challenge in model checking is not just to find errors, but to understand why they occur.

译文：处理事情应该宽大平和，而不能有松散懈怠的毛病；处世贵在严格，而不能过于激烈操切。赏析：做事如果松散懈怠，就会功败垂成。处世遵守规定是好事，但操之过急也会适得其反。