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

我们要用技术连接世界，更要让技术普惠每个人。

每个人都对自己的身体拥有所有权，没有人有权支配他，除了他自己。

If oxen and horses and lions had hands and could paint with their hands and produce works of art as men do, horses would paint the forms of the gods like horses, and oxen like oxen, and they would make their bodies in accordance with the form that each species itself possesses.