abduces

not defined yet