深刻沉着、忠厚笃信，是第一等的禀赋；直率开朗、豪迈雄健，是第二等的禀赋；明智聪慧、能言善辩，是第三等的禀赋。
The whisper of leaves carries more wisdom than boardroom debates.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
There ain’t something you can find just around the corner.
书是一份你可以反复打开的礼物。
I don’t know where I’m going, but I’m on my way.
The writer is a professional observer.