Haller's Concordance: IMPLETIQUE