Protracting the States Invariant

Protracting the States Invariant