Before revision: The new basis is determined by asking that , from which the expression can be derived.
After revision: Provided that is invertible, the new basis is determined by asking that , from which the expression can be derived.