nondeducible

not defined yet