Haller's Concordance: DEDUCEMINI