deducibleness

not defined yet