Ah, ok. Thus, I still do not see where there must be an invariant (unless you are talking about induction) but here it goes:
Ah, ok. Kaya, ako hindi pa rin makita kung saan doon ay dapat maging isang invariant (maliban kung ikaw ay pakikipag-usap tungkol sa pagtatalaga sa tungkulin) ngunit dito ito goes: