nondeductively

not defined yet