小说是一种探索的形式,一种理解世界和我们在其中位置的方式。
预测未来的最好方式就是创造未来。
儿童不会自己判断自己,他是以别人对他的态度来判断自己的。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.