Russ wrote > E.g. search for "old" on this page: > http://archive.eiffel.com/doc/manuals/technology/contract/ This is an archived file. Is Eiffel really capable of for example holding complete arbitrary "old" databases for each recursive call of a modifying function? -manfred