可持续性不是一种选择，而是我们对后代的责任。
Sustainability isn't a choice—it's a responsibility we owe to future generations.
君子的话虽然少，但却真实；小人的话虽然多，但却虚假。点评：东汉著名学者王符曾言「大人不华，君子务实。」
我不是模特。我只是一个喜欢打扮的女孩。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The best leaders are those who empower others to lead.