"Verification is not just about finding bugs; it's about understanding why the system works the way it does."

It is remarkable how much long-term advantage people like us have gotten by trying to be consistently not stupid, instead of trying to be very intelligent.

艺术不是奢侈品，而是必需品。

The key to success is to focus on the long term and not get distracted by short-term fluctuations.

A majority of life's errors are caused by forgetting what one is really trying to do.

I'm not gonna be able to live on this planet if I don't get to express myself.

晏子春秋

可持续的企业不仅对地球有益——对企业也有益。