deductive

not defined yet