Corrected Invariant works.
WIP