如果人们不相信数学是简单的，那只是因为他们没有意识到生活有多么复杂。

I came up from the bottom, I ain't forget where I started.

不要施小恩惠而伤害整体，更不可以公济私。以常情宽恕别人，以道理约束自己。

伟大的公司建立在伟大的文化之上。

在以情动人前,你自己要先被打动。在你催人泪下前,你自己要热泪盈眶。在你以理服人前,你自己要坚信不疑。

Our goal is not only to become a leader in the industry but also to be a force that drives social progress.

模型检查是验证有限状态并发系统正确性的强大技术。