[sergix]

Another way to put it: each step in a reversible process must be a bijection, or "information-preserving". The naive way to do that is to return the entire input as part of the result, but that's missing the point.