Haller's Concordance: DEDUCES