对舒缓的事情，要急速解决，因为思想敏锐，往往获得成功；对急迫的事情，应沉稳处理，因为急躁忙乱，常常漏洞百出。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

True globalization is not mere translation, but understanding the cultural core of different markets.

"I don't complain. I accept the challenge and I work."

Leaders are more powerful role models when they learn than when they teach.

市场总是在寻找下一个机会。