deductively

not defined yet