abduces
not defined yet