Definition:

subducts