undeductive

not defined yet