invariantly

not defined yet