做出伟大工作的唯一途径就是热爱你所做的事。

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

他呢，狗嘴吐不出象牙。

The ocean’s resilience is finite—we must act before it’s too late.

I don't let anyone else's opinion become my reality.

If you are looking for something in your house， and you finally find it， when you’re done with it， don’t put it back where you found it. Put it back where you first looked for it.

Every child should have mud pies, grasshoppers, water bugs, tadpoles, frogs, mud turtles, elderberries, wild strawberries, acorns, chestnuts, trees to climb, brooks to wade in, water lilies, woodchucks, bats, bees, butterflies, various animals to pet, hayfields, pine-cones, rocks to roll, sand, snakes, huckleberries and hornets; and any child who has been deprived of these has been deprived of the best part of education.