模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
我清晰地记得接下来发生了什么,而那是我意料之外的。我本期待着小聪明和算术技巧能赢得掌声,但那并没有发生。相反,我的祖母哭泣起来。我的祖父之前一直在默默开车,把车停在了路边,走下车来,打开了我的车门,等着我跟他下车。我惹麻烦了吗?我的祖父是一个智慧而安静的人。他从来没有对我说过严厉的话,难道这会是第一次?还是他会让我回到车上跟祖母道歉?我以前从未遇到过这种状况,因而也无从知晓会有什么后果发生。我们在房车旁停下来。祖父注视着我,沉默片刻,然后轻轻地、平静地说:"杰夫,有一天你会明白,善良比聪明更难。"
世界是个舞台,但剧本选角很糟糕。
我来自那里。我来自这里。我不在那里,我也不在这里。
我扮演的每一个角色都是我的一部分。
The older I get, the more wisdom I find in the ancient rule of taking first things first—a process which often reduces the most complex human problem to a manageable proportion.