diducing
not defined yet