Haller's Concordance: MATHAT