seminvariant
not defined yet