You may not control all the events that happen to you, but you can decide not to be reduced by them.

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

从来没有人有过这样的朋友，如此深情，如此忠诚，如此娴熟。

The ideal of behaviorism is to eliminate coercion: to apply controls by changing the environment in such a way as to reinforce the kind of behavior that benefits everyone.

"A story is never finished, only abandoned."

The past is a foreign country; they do things differently there.

我不害怕冒险，也不害怕失败。