牙痛的人认为牙齿健康的人都快乐。穷人对富人也犯同样的错误。
The man with a toothache thinks everyone happy whose teeth are sound. The poverty-stricken man makes the same mistake about the rich.
The beauty of mathematics only shows itself to more patient followers.
日本人是世界上最有礼貌的民族——也是最拘泥于细节的。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。