Haller's Concordance: DEDUCENS