That's true. The problem is that source code is only a fraction of the knowledge contained in the system. In most source-code-based systems, you would write c

That's true. The problem is that source code is only a fraction of the knowledge contained in the system. In most source-code-based systems, you would write code for building a lookup table, or for reading one from storage. This code would be executed at application startup. In Smalltalk or image-based lisp, you simply make the table and save the image. Unfortunately, the source code now doesn't fully describe the system. Systems like ENVY are intended to provide a process for putting the data in the source.