Haller's Concordance: SIMPLICITER