Life is short, and it's up to you to make it sweet.

The rise of China and the resurgence of Russia have challenged the idea that liberal democracy is the only viable form of government.

海洋养育了我们，我们有责任确保以关怀和尊重回馈它。

系统设计的未来在于将形式化方法与传统工程实践相结合。

艺术家必须是真理的追寻者。

在不幸中所表现出来的勇气，通常总是使卑怯的心灵恼怒，而使高尚的心灵喜悦的。

一个命题的证明是一种性质使得我们相信该命题的过程。