invariants
not defined yet