~ / invariant /