出自汉·桓宽《盐铁论·险固》。这句话以“地利”与“人和”、“武力”与“文德”的对比，阐明了实行仁政对于治国安邦的重要性。

The most important part of teaching is to teach what it is to know.

I'm a human being and I fall in love and sometimes I don't have control of every situation.

预测未来的最好方法就是发明它。

我是飓风，降临在你心灵的岸边，我将让你改变。

When the gunpowder ignites, time stops.#当火药点燃的瞬间，时间就停止了。

追求完美的想法，是一个好计划的最大敌人。

相信我，这世上没有“他们”。（U2《Invisible》的歌词：“There's no them / There’s only us”）

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."