Haller's Concordance: PROVES