invariantive

not defined yet