I don’t play for the records; I play because I love the game.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

在年老之后，你会发现自己的双手能解决很多难题。一只手用来帮助自己，另一只用来帮助别人。

Any human anywhere will blossom in a hundred unexpected talents and capacities simply by being given the opportunity to do so.

A good sentence should have a kind of tension in it.

在量子力学中，观察者与被观察的系统并不是分离的。

I’ve had to learn to fight all my life—got to learn to keep smiling. If you smile, things will work out.

Your self-worth is determined by you. You don’t have to depend on someone telling you who you are.

除了诱惑之外，我可以抵抗任何事物。