让我们清楚一点：只是限制广告不健康的食物是不够的。增加对健康食品的'营销也很关键。

The challenge of leadership is to be strong, but not rude; be kind, but not weak; be bold, but not bully; be thoughtful, but not lazy; be humble, but not timid; be proud, but not arrogant; have humor, but without folly.

过去是一个陌生的国度；那里的人做事方式不同。

一定要成功﹗我只以成败论英雄。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。