Gosh... I don't know what to think...

This is what I found about the invariant, and I don't know if it is applicable to your problem. The invariant is either an input that is unvaried by the...