Haller's Concordance: DEDUCITE