deducive

not defined yet