semiruin
not defined yet