The power of a computational model is not just in its ability to compute, but in its ability to generalize from specific instances.