我要做一个预测：在你们80岁时某个追忆往昔的时刻，只有你一个人静静对内心诉说着你的人生故事，其中最为充实、最有意义的那段讲述，会被你们作出的一系列决定所填满。最后，是选择塑造了我们的人生。为你自己塑造一个伟大的人生故事。
I will hazard a prediction. When you are 80 years old， and in a quiet moment of reflection narrating for only yourself the most personal version of your life story， the telling that will be most compact and meaningful will be the series of choices you have made. In the end， we are our choices. Build yourself a great story.
I don't care about having a legacy. I don't care about being remembered.
You can't think your way through life. You have to live your way through it.
The question is, are we happy to suppose that our grandchildren may never be able to see an elephant except in a picture book?
你体验到的积极情绪越多，你就越开放。你越开放，你看到的就越多。你看到的越多，你能做的就越多。你能做的越多，你就能成长得越多。
The world respects those who are bold enough to think differently.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
我们成功的真正标准不仅仅是利润，还有我们留下的积极影响。