Haller's Concordance: PROVEXIT