invariants

not defined yet