Haller's Concordance: DEDUCTURUM