The power of a computational model is not just in its ability to compute, but in its ability to generalize from specific instances.
真相很少是纯粹的,也从来不是简单的。
Theorems are the permanent literature of mathematics.