Invertible Derivations
Ghost and replaceable variables need not represent the same information and semantics and their values may differ.
If they contain different values, forward and inverse transformations must be defined and applied during set and get.
Each original variable or subset of variables must be derivable from its corresponding set of ghost copies, and vice versa.*
*[See later example of coordinate conversion.]