Definition:

deducibility