invariant

not defined yet