The process of verification is as important as the process of creation in computer science.

The most important thing in a software system is the architecture.

唯一真正的监狱是恐惧，唯一真正的自由是从恐惧中解脱。

Children have never been very good at listening to their elders, but they have never failed to imitate them.

科学是提出正确问题的艺术。