diducing

not defined yet