allowed to be designated as Invariant.