fixed invariant