deducendum