subduces
not defined yet