Haller's Concordance: DEDUCIT