invars

not defined yet