最好的设计是那些能解决问题而不会带来新问题的设计。

译文：用心算计别人时，自己就会出错，退一步考虑事情，任何事就会变得宽广。赏析：处处算计别人，时刻都想占便宜，总有一天自己会被别人算计。心胸开阔，放低姿态，忍一时风平浪静，退一步海阔天空。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

学无止境者比无所不知者做得更好。