Haller's Concordance: REPROOFS