invariant
