形式化方法不是银弹，但它们是追求可靠系统的重要工具。

Good and great are seldom in the same man.

Mathematics is the key to unlocking the secrets of the universe and understanding the fundamental laws that govern it.

海洋是所有陆地现象的伟大整合者，是空气和陆地所能提供的一切的最终接收者。

那个时代，没有任何东西是拆包的，即使是人们脑子里的东西。每样东西不是储存着，就是在运送当中。