被遗忘比死亡更糟糕。

我不让仇恨分散我的注意力，我让它激励我。

The farmer is the only man in our economy who buys everything at retail, sells everything at wholesale, and pays the freight both ways.

模型检查是验证硬件和软件系统正确性的强大工具。

最好的领导者是那些能够授权他人领导的人。

The only thing that makes life possible is permanent, intolerable uncertainty; not knowing what comes next.

我唯一害怕的是上帝。

我正在学习如何爱自己。

The future belongs to those who can master core technologies.

球体是所有立体图形中最美的。