We need to be part of the solution, not part of the problem.

The very important thing you should have is patience.

最好的表演来自内心。

"I must say a word about fear. It is life's only true opponent. Only fear can defeat life."

The cognitive map is not a picture or a model in the head, but a dynamic, changing representation of the environment.

模型检查是验证硬件和软件系统正确性的强大工具。