subduces

not defined yet