deducible
not defined yet