A good ad should be like a good sermon; it must not only comfort the afflicted, but also afflict the comfortable.

比亚迪要做全球新能源汽车的领导者。

In the end, we'll all become stories.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

I'm just trying to be honest with myself and with the people around me.

每件促使我们注意到他人的事，都能使我们更好地理解自己。