... ↑

Что значит инварианты изменятся? Или ты имеешь ввиду набор осознаваемых инвариантов?