3.0.Loop Invariant

Published --