diductively

not defined yet