要是这世上少点同情心，这世界就不会有那么多麻烦。.

开始时有一点差错，结果会造成极大的错误。

Memory is not a perfect recorder of events; it is a reconstructive process that can be influenced by many factors.

The gallery space is just as important as the work it contains.

科学是一种探索和理解世界的方式。

模型检查是验证有限状态并发系统正确性的强大技术。

未来属于那些在可能性变得明显之前就能看到它们的人。