小说是一面沿着大路行走的镜子。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
  我认为每个人都对自己的职业负有债务,正如人们当然寻求得到赞誉和利润一样,同样地,他们应该通过努力为自己的职业带来帮助和装点,以履行职责。
要想成功,你必须无所畏惧。
我们不是从祖先那里继承了地球,而是从子孙那里借来的。