13. Changing a representation without losing correctability

A representation can be sufficient for yesterday’s questions and insufficient for today’s. The old theorem need not be false. Its target may have changed. A revision procedure must therefore distinguish two tasks: translating information already retained and acquiring information that the old record discarded.