invariantively

not defined yet