part of the invariants

×