undeductively

not defined yet