最艰难的选择常在短期利润和长期韧性之间——明智选择。

We hold these truths to be self-evident: that all men are created equal.

I believe in making things that last, both physically and emotionally.

粮食尽量精，肉类尽量细。变质的东西不吃；变色的东西不吃，变味的东西不吃；烹饪得不好不吃；不是吃饭的时间不吃；切的不好看不吃；调味品不好不吃。肉类虽多，但不要吃过量。只有酒不限量，但不要喝醉。从集市上买来的酒肉不吃；每餐必有姜，但不多吃。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"Every failure in the lab is a lesson in disguise, guiding us toward the right path."

最好的设计是功能与美学的结合。