Showed the corruption invariant to hold.