invariant problem