deducibility

not defined yet