A nation that destroys its soils destroys itself.
年轻时,你以为会有很多人能与你产生共鸣。后来你才意识到,这种情况一生只会发生几次。
十分的聪明只用七分就可以了,剩下三分留给子孙;如果要将十分聪明全都使出来,反而会适得其反,近的害了自己,远的害了儿孙。
完全透析自己的本性---这是你我此生来走一遭的目的。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。