seminvariantive
not defined yet