The most successful states in the 21st century will be those that can combine the efficiency of markets with the fairness of democratic institutions.

当你被神奇的东西镇住时，你是不敢不听话的。

The only thing that matters is how you feel about yourself.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

The past is always with us, for it feeds the present.

每个人都讨论我的艺术并假装理解，好像理解是必要的，而其实只需要去爱。

科学家是务实的人，他们的目标是实际的。他们不追求终极，而是追求接近。

The computer is simply an instrument whose music is ideas.

跨行业合作是解决当今复杂挑战的关键。

The body is your instrument in dance, but your art is outside that creature, the body.