deducible

not defined yet