nondeductive

not defined yet