Haller's Concordance: DEDUCIS