发明是不够的。尼古拉·特斯拉发现电力，但是他却纠结于是否将它空开给人们使用。你不得不将这两件事整合：发明和创新，再加上公司愿意将其商业化给人们使用。

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

每一个发现都是我们宇宙拼图的一块。

每个词都是一个选择，而每个选择都会改变世界。

The spirit of moderation should also be the spirit of the legislator.

Growth happens outside your comfort zone.

I race to win. If I am on the bike or in a car it will always be the same.

团队的力量在于其成员的多样性。

"I wanted to write a book that was funny, but also made people think."