Writing is a way of life, a way of being in the world.

元素周期表是人类好奇心和创造力的证明。

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

The world is changing very fast. Big will not beat small anymore. It will be the fast beating the slow.

【译文】与人说话只能说三分，不能把内心的想法全部吐露给别人。有意栽花花不一定开放，无意去插柳柳树却可能长得茂盛。龙和虎的形态好画，却难以画出它们的骨骼。了解人的表面很容易，但了解人的内心却十分困难。