The *(term) for the phenomenon whereby the representation for an _(object) is changed while conserving the abstract object consistently unchanged.

For instance, when a same computation is being moved from a slow computer to a number cruncher, it has been migrated.

Current systems greatly limit the way objects can be usefully migrated, because they basically make it very difficult to impossible to enforce any consistency in the abstract meaning of different representations (and even in the abstract meaning of a same representation!).

Tunes aims to make migration a trifle, which will allow for the use of optimizations that can currently only be achieved in laboratories (because of the impossibility of consistently enforcing the constraints required for their validity in existing systems).

