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

成功不是幸福的关键。幸福是成功的关键。如果你热爱你所做的事情，你就会成功。

创新不仅仅是创造新事物，更是改进已有的事物。

Real technology is when you don’t feel its existence.

有一次，我们梦见大家都是不相识的。我们醒了，却知道我们原是相亲相爱的。

过去从未消逝，它甚至从未过去。

In all affairs， it's a healthy thing now and then to hang a question mark on the things you have long taken for granted.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.