State Invariant now assumes old state.