Haller's Concordance: DEDUCENT