Haller's Concordance: PROOF