Life is short, make it sweet.

The trouble with lying is that you have to remember everything.

最优财政政策要求税收随时间平滑，因为突然的变化会扭曲经济决策。

数学的美在于它能够用一种既精确又普遍的语言来描述宇宙。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

【释义】：人在幼年时精神专注，成年后心思分散，教育要趁早，别错过时机。