seminvariant

not defined yet