"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我曾经以为世界是按部落划分的。然后我以为它是按贫富划分的。然后我以为它是按愚蠢和聪明划分的。但现在我知道它是按活着的人和死去的人划分的。
解释:犯了错误能够改正的人,是百姓中的上等人。