subinferior
not defined yet