Invariant Proof - part 2