教育的目的不是把人变成木匠，而是把木匠变成人。

I have never been able to write a happy play. I can't. I can write a funny play, but not a happy play.

Loneliness is the price we pay for being born.

秘密的重量比石头更重。

事实上，今天的美国女性比以往任何时候都拥有更多的自由和机会。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

实现明天理想的唯一障碍是今天的疑虑。