subduce
not defined yet