natural invariant