He does not love me, he loves the idea of me.

生命中你有许多机会闭紧嘴巴。

The challenge in model checking is not just to find errors, but to understand why they occur.

Those who deny freedom to others, deserve it not for themselves; and, under a just God, can not long retain it.

People who cannot find time for recreation are obliged sooner or later to find time for illness.

Great companies are built on great cultures, and great cultures are built on trust and respect.

给我一个支点，我就能撬动地球。