Haller's Concordance: PROOFS