Специалист

__invariant__