deducive
not defined yet