Haller's Concordance: PROVING