Ключевая фраза: INVARIANT DESCRIPTION