deducibly

not defined yet