我一直在想某个地方的河流，水流非常快。水里有两个人，试图紧紧抓住对方，但最终水流太强了，他们不得不放手，随波逐流。

A proof tells us where to concentrate our doubts.

The goal of software engineering is to control complexity, not to create it.

世界不是长方形的。